Tag: Blokzincirinden Esinlenilen Veri Yapısı
نویسندگان
چکیده
Bu çalışmada blokzincirinin veri yapısı yazılım mühendisliği bakış açısından ele alınmaktadır. Blokzincirinin yapısının izlenebilir, değiştirilemez ve kanıtlanabilir doğası, ilgilenilecek konular arasında görülmektedir. Ancak blokzincirinde kullanılan geleneksel yapıları diğer blockzincir tabanlı teknolojilerle iç içe olduğu için geliştirmede kullanımı zordur. makalede, blokzinciri teknolojilerinden ayrılmış mühendisleri farklı amaçlar doğrultusunda kullanılabilir hale getirilmiştir. Bunu yaparken, yapısıyla ilgili çok sayıda sorunu alınmış çözümler geliştirilmiştir. Önerilen yapısı, ile karşılaştırılarak doğrulanmış değerlendirilmiştir. zaman uzay karmaşıklığının blokzincirindeki seviyesindeki mekanizmalara göre logaritmik bir ölçekte azaltma sağladığı görülmüştür.
منابع مشابه
Veri Yoğun Bilgi Sistemleri için Melez Bir Veri Mimarisi Önerisi
Özet. Bulut bilişim teknolojileriyle birlikte bilgi sistemlerinde işlenen veri hacmi artmaktadır. Veri hacminin artmasının yanında, veriye hızlı erişim en önemli gereksinimdir. İlişkisel veri modeli kullanımının yanında ilişkisel olmayan veri modellerinin de kullanımı önemli boyutlara ulaşmıştır. Bu çalışmada veri yoğun bilgi sistemleri için melez bir veri mimarisi önerisinde bulunulmaktadır. Ö...
متن کاملA Mechanically Veri ed Veri cation Condition Generator
Veri cation Condition Generator (VCG) tools have been e ective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might not be sound. In our work, we de ne and rigorously prove correct a VCG tool within the HOL theorem proving system, for a standard whil...
متن کاملBağlı Veri Entegrasyonu İçin Bir Masaüstü Uygulama Mimarisinin Medikal Alanda Geliştirilmesi
Özet. Farmakolojiye yönelik araştırma süreçlerinde yaşanan en büyük problemlerden birisinin bir aktif madde ile ilgili olarak internet üzerinde geleneksel arama motorlarıyla yapılan aramalardan dönen sonuçların, işe yararlığa göre süzülüp entegre edilmesi olduğu görülmüştür. Bu sorunun önüne geçmek için bağlı verinin gücünden yararlanan ve yüksek erişilebilirlikli bir uygulama geliştirilmiştir....
متن کاملLiveness for Veri cation
We explore the use of liveness for interactive program verication for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous testing into the development environment: compatibilitychecking, which veri es an object’s use of other objects, and compliance-checking, which veri es an object’s claim to rene the behaviour of another object. Source ...
متن کاملAutomating Modular Veri cation ? ; ? ?
Modular techniques for automatic veri cation attempt to overcome the state-explosion problem by exploiting the modular structure naturally present in many system designs. Unlike other tasks in the veri cation of nite-state systems, current modular techniques rely heavily on user guidance. In particular, the user is typically required to construct module abstractions that are neither too detaile...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mühendislik bilimleri ve ara?t?rmalar? dergisi
سال: 2023
ISSN: ['2687-4415']
DOI: https://doi.org/10.46387/bjesr.1213651